Specifying and Verifying Collaborative Behavior in Component-Based Systems

...............................................................................................ii Research Grants ...................................................................................iii Acknowledgements..................................................................................v CHAPTER 1: INTRODUCTION 1.1 COMPONENT CERTIFICATION WITH REUSE.........................................................1 1.2 THE PROBLEM STATEMENT.......................................................................................3 1.2.1 Local Role Consistency in Collaboration-Based Software Design ...................... 7 1.2.2 Decision Procedures for the Analysis of Local Consistency Conditions ............. 8 1.2.3 Causal Process Constraint Analysis for Achieving Global Consistency.............. 9 1.3 THE LIMITATIONS OF CONVENTIONAL APPROACHES...................................10 1.4 BRINGING THE METHODS TOGETHER FOR COLLABORATIVE BEHAVIOR VERIFICATION USING UML-RT .............................................................................. 11 1.4.1 Concepts of UML-RT............................................................................................ 11 1.4.2 Collaborative Behavior Verification with UML-RT ........................................... 12 1.5 CONTRIBUTIONS..........................................................................................................15 1.6 ORGANIZATION............................................................................................................17 CHAPTER 2: COMPONENT CERTIFICATION WITH REUSE 2.1 FORMAL VERIFICATION AND TESTING APPROACHES FOR OBJECTORIENTED COMPONENTS .........................................................................................20 2.1.1 Formal Verification of Component Software....................................................... 21 2.1.2 Model-Based Verification ..................................................................................... 23 2.1.3 Object-Oriented Component Testing.................................................................... 24 2.2 PROTOCOL-ORIENTED PERSPECTIVE FOR ACTIVE OBJECT ORIENTED COMPONENT SPECIFICATION and CERTIFICATION..........................................36 2.2.1 Component Protocol Specifications...................................................................... 36 2.2.2 Object Interaction Dynamics................................................................................. 38 2.2.3 Finite State Verification......................................................................................... 40 2.3 COLLABORATION-BASED SOFTWARE VERIFICATION AND TESTING.......41